lateral sphincterotomy